OOD Frameworks in Component-Based Software - Development in Computational Logic

On Specification and Correctness of OOD Frameworks in Computational Logic

In current component-based software development (CBD), it is widely recognised that the distribution of tasks between objects and the contracts between them are key to effective design. In composing designs from reusable parts, increasingly the parts are Object-oriented Design (OOD) frameworks, namely descriptions of the interactive relationships between objects which participate in the interac...

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic

On the Implementation of OOD Frameworks in COM

Objects that play multiple roles in different contexts are called role objects. Object-Oriented Design (OOD) frameworks are groups of role objects. These frameworks are increasingly recognised as better units of reuse in software development than single-role objects. Composing OOD frameworks yields role objects. In this paper we discuss the implementation of OOD frameworks, in particular their ...

E-learning by Doing with Computational Logic

E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts. In this paper, we propose to exploit a formal approach (based on Computational Logic) to define, verify and support the e-learning by doing paradigm. To this end, we introduce the SCIFF formal frameworks, its feature...

Catalysis Frameworks in First-Order Logic

Pieces of code are not the only reusable artifacts from software development. Recurring patterns occur in models, specifications, and collaborations. Classes are not the most interesting unit for describing designs; it is the collaborations and relationships between them that constitute the essence of any design. In the component-based development method Catalysis, collaboration frameworks are ...